Câu ví dụHọc sinh của ông là Arend Heyting đã đưa ra một logic trực giác, khác với logic Aristoteles cổ điển; logic này không chứa luật trung gian bị loại trừ và do đó cau mày khi chứng minh bằng mâu thuẫn.
